// test global varibles
int a,b;
/*@*/
void swap()
{
	int temp;
	temp=a;
	a=b;
	b=temp;
//	print(x);
//	print(y);
	return;
}
/*@*/
/*@*/
int main()
{
	a=10;b=9;
	print(a);
	print(b);
	swap();
	print(a);
	print(b);
	return 0;
}
/*@*/
